Added a base font size

diff --git a/src/doc/stylesheets/all.css b/src/doc/stylesheets/all.css
index 5ed49be72670dbb23d11ea74a9fccc22735e874c..46b0343ea8a700bd08b6687db975bc0bb0fa0106 100644 (file)
--- a/src/doc/stylesheets/all.css
+++ b/src/doc/stylesheets/all.css
@@ -17,6 +17,7 @@ body {
   -webkit-align-items: center;
           align-items: center;
   font-family: sans-serif;
+  font-size: 16px;
 }
 
 a { color: #00ac5b; text-decoration: none; }